YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
Yurtseven.ORG
 Yurtseven.ORG
     
HOME Programming Programming Languages Languages ML ML Implementations Implementations
 
Sort by Sort by          Date Sort by       Alphabetical Sort by

Showing  1 - 10  of total  12  results  [ 0.089  seconds ]  


 
 1 - TILT Compiler Browse Website open in new window
   
  07-January-2012 
Self-checking Standard ML compiler, uses Typed Intermediate Languages; while compiling, types are translated with code, type-checking occurs to check compile results; funded by NSF. Descriptions, license, mail list, downloads, links. Carnegie Mellon.



 
   
  07-January-2012 
Experimental ML extension with run-time overloading and type-based notion of modules, functors and inheritance. Large HTML text document.



 
   
  07-January-2012 
SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, contacts. [Open Source, Lucent]



 
   
  07-January-2012 
SML to Java bytecode compiler, based on Persimmon's MLj.



 
 5 - Moscow ML Browse Website open in new window
   
  07-January-2012 
ML system for DOS, Linux, Windows.



 
   
  07-January-2012 
Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source]



 
   
  07-January-2012 
Standard ML compiler.



 
   
  07-January-2012 
TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) that uses types throughout compiling to emit better code without losing safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, peo...



 
   
  07-January-2012 
Whole program optimizing compiler for Standard ML.



 
   
  07-January-2012 
Framework for customizable, retargetable and optimizing compiler back ends, written in Standard ML. Successfully retargeted to many architectures. Deals elegantly with special requirements imposed by execution model of different high-level, typed lang...


1  2  Next »


Easy Web Admin


Add URL  |  My Sites  |  My Account  |  Login  |  Contact Us